Spermatogenesis is the process of producing sperm in the testicles. It occurs in several stages, starting with the primordial germ cells, which differentiate into spermatogonia. Spermatogonia undergo successive mitoses to form primary spermatocytes, which, in turn, undergo meiosis, resulting in secondary spermatocytes. Secondary spermatocytes later transform into spermatids, which are immature sperm. Spermatids undergo maturation and differentiation to become mature sperm, ready for fertilization. This process is highly regulated by hormones and is essential for male fertility and reproduction. Spermatogenesis is (...) a complex process divided into three phases: spermatogonial or proliferative phase, meiotic phase, and spermiogenic phase, which are strictly related to animal physiology. These phases are influenced by several factors, including temperature, nutrition, diseases, and stress. Understanding these factors that influence spermatogenesis determines the animals’ productivity, in cases of changes, it can be suspected whether they are of genetic origin or environmental causes. (shrink)

Inspired by the early Wittgenstein’s concept of nonsense (meaning that which lies beyond the limits of language), we define two different, yet complementary, types of nonsense: formal nonsense and pragmatic nonsense. The simpler notion of formal nonsense is initially defined within Tarski’s semantic theory of truth; the notion of pragmatic nonsense, by its turn, is formulated within the context of the theory of pragmatic truth, also known as quasi-truth, as formalized by da Costa and his collaborators. While an expression (...) will be considered formally nonsensical if the formal criteria required for the assignment of any truth-value (whether true, false, pragmatically true, or pragmatically false) to such sentence are not met, a (well-formed) formula will be considered pragmatically nonsensical if the pragmatic criteria (inscribed within the context of scientific practice) required for the assignment of any truth-value to such sentence are not met. Thus, in the context of the theory of pragmatic truth, any (well-formed) formula of a formal language interpreted on a simple pragmatic structure will be considered pragmatically nonsensical if the set of primary sentences of such structure is not well-built, that is, if it does not include the relevant observational data and/or theoretical results, or if it does include sentences that are inconsistent with such data. (shrink)

In this historical article, Newton da Costa discusses Francisco Miró Quesada’s philosophical ideas about logic. He discusses the topics of reason, logic, and action in Miró Quesada’s work, and in the final section he offers his critical view. In particular, he disagrees with Miró Quesada’s stance on the historicity of reason, for whom “reason is essentially absolute”, whereas for da Costa it “is being constructed in the course of history”. Da Costa concludes by emphasizing the importance of (...) Miró Quesada’s theory of logic and reason, despite it still being incomplete. -/- Historical article by Newton da Costa, annotated and translated by J. C. Cifuentes and L. F. Bartolo Alegre. (shrink)

Capítulo de livro publicado em "Uma introdução à filosofia do direito" Itamar Luís Gelain (Org.) .- Ijuí: Ed. Unijuí, 2015. - 368 p. - (Coleção direito, política e cidadania; 37). . ISBN 978-85-419-0 I 75-8.

The article examines the following interpretive hypothesis: from the formulation of the concept of “precariousness” in Precarious Life (2004), Judith Butler's thought undergoes a inflection towards a ethical-political foundation normatively understood and previously rejected by the author as evidenced in her debate with Nancy Fraser and Seyla Benhabib in the 1990s. It is therefore a matter of questioning the impact of this theoretical mutation on the notions of universal and subject that are embedded in the argumentative lines of the author’s (...) texts, thus establishing “precariousness” and “co-dependence” as ethical-political conditions that should guide political guidelines aimed at making life possible and viable. The article is divided into three moments: 1) the universal denied in form and content; 2) The universal affirmed in its form, but denied in its content; 3) the universal materially and formally affirmed. It will also address the different notions of subject that emerge from each of these three understandings of universal. (shrink)

The article will expose the problem of the nature of reality stablished in the first sections of Wittgenstein"s “Tractatus Logico-Philosophicus”, especially the aphorisms 1 to 2.063 seeking to show points of contact between the Aristotelian-Thomistic and Suarezian thought. Initially, (I) a distinction is made between metaphysics and ontology in order to understand why Wittgenstein, notorious for his anti-metaphysical thought, actually ends up producing a theory of reality. Subsequently, (II) the relationship between reality and language will be drawn from the characteristic (...) isomorphism of the Tractatus in which a structural similarity will appear with the Aristotelian-Thomistic thought. This relationship will be the basis for (III) the construction of an ontological image of reality as the condition of possibility for a meaningful language. With this outlook, the (IV) hypothesis of the influence of Francisco Suárez"s thought as the content behind this Wittgensteinian description of reality will be advanced. (shrink)

With the ageing of the Portuguese population, there are more people in dependency situations and needing long-term care (LTC). In this context, it is important to ensure the quality of life (QoL) of those individuals, and that quality can be measured through their health-related quality of life (HRQoL) and overall well-being. Also, understanding how perceived service quality (PSQ) can be related to how people perceive their QoL is pertinent since service quality is an important factor to achieve patient health outcomes. (...) To develop this project, a LTC unit located in the district of Lisbon was chosen, the LTC unit of Arruda dos Vinhos. The main objective was to assess the relation between the PSQ, the HRQoL and the overall well-being of patients receiving LTC at the LTC unit of Arruda dos Vinhos. A project based on a case study was performed, through interviews based on the items of the SERVPERF, EQ-5D and ICECAP-O questionnaires, which were then analysed through content analysis. Results showed there is a relation between PSQ and HRQoL and between HRQoL and overall well-being. It was also possible to realise that to better evaluate the quality of this specific service, other subjects as the activities performed at the LTC unit, the physiotherapy service and the food provided, should be taken in consideration. Concluding, there is a relation between PSQ and the QoL of the patients receiving LTC at the LTC unit of Arruda dos Vinhos, when quality of life is measured through HRQoL. (shrink)

Começo por distinguir entre proibição em abstrato (tipicidade) e proibição em concreto (ilicitude), situando o estado de necessidade justificante ao nível das causas de exclusão da ilicitude. Relaciono a exclusão da ilicitude resultante do estado de necessidade com a noção de ‘bem’ em sentido integral ou agregado. Depois, passo ao ponto principal deste ensaio, aplicando a teoria da diferença, usada no cálculo da indemnização em sede de responsabilidade civil, para aferir se há ou não superioridade do interesse salvaguardado face ao (...) interesse sacrificado. Por fim, defendo essa aplicação de algumas objeções que podem ser levantadas. (shrink)

Bolzano propôs uma teoria da verdade que se diferencia das restantes por defender que as proposições são objetivas (não são juízos nem frases) e, consequentemente, que também as proposições verdadeiras (e as falsas) são objetivas (não constituem a correspondência entre um juízo/uma frase e um facto objetivo nem uma qualquer relação entre juízos/frases). Para além disso, considero que propõe uma teoria metafísica da correspondência (à qual não adiro), de acordo com a qual a verdade consiste na correspondência entre uma proposição (...) objetiva e um facto. (shrink)

This article theorizes the relationship between three fundamental categories for bell hooks' formulations regarding cultural critique and subjectivity - keeping in mind that hooks' thought establishes a fractal system - oppositionality, affectability and radical black subjectivity. From this, we establish the main objective of this text: to think with hooks about the importance of the positionality of the body (subject) in the construction of knowledge and of itself, from its capacity to be affected (affectability) and to affect people, as being (...) primordial stages of the fertile context for the emergence of radical black subjectivity. For this analysis, this article will address the following questions: 1) the construction and role of radical black subjectivity in bell hooks; 2) the recovery of the body and affectability in the production of knowledge; and 3) the centrality of the oppositional gaze and the potency of imagination in the displacement of binaries towards new consciousnesses and new worlds. (shrink)

This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...) congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (shrink)

O dilema de Jørgensen tem atormentado os imperativistas até aos nossos dias. Resumidamente, se há uma Lógica das Normas, então esta tem por elementos proposições (as proposições normativas) e, simultaneamente, tem por elementos imperativos, que não possuem conteúdo proposicional. Neste ensaio, defender-se-á que o imperativismo é totalmente compatível com a concebilidade de uma Lógica Deôntica de proposições, pelo que não é necessário afastá-lo para manter a referida concebilidade (ainda que haja outras razões para rejeitar o imperativismo). Todas as posições que (...) aceitam a incompatibilidade suscitada pelo dilema de Jørgensen incorrem num erro, o de confundir imperativismo e prescritivismo. -/- Jørgensen's dilemma has plagued imperativists to this day. Briefly, if there is a Logic of Norms, then propositions participate in it (normative propositions) and, simultaneously, imperatives participate in it, which do not have propositional content. In this essay, I will argue that imperativism is fully compatible with the conceivability of a Deontic Logic of propositions, so it is not necessary to push it aside to maintain that conceivability (although there are other reasons for rejecting imperativism). All positions that accept the incompatibility raised by Jørgensen's dilemma incur an error, that of confusing imperativism and prescriptivism. (shrink)

Partindo do cenário atual das sociedades de inimizade, tal como teorizado por Achille Mbembe, este texto segue os argumentos de bell hooks para pensar em uma política do amor que possa aparecer como um antídoto para os males causados pelas sociedades da inimizade que se sustentam em uma imagem da alteridade experimentada desde a figura do inimigo a ser combatido, mortificado, morto. Ao valorizar o amor como uma prática - e não somente como sentimento - que envolva o cuidado, a (...) responsabilidade, afeto, reconhecimento, confiança, respeito, comunicação franca, sustentamos a necessidade da construção de outro modelo de sociedade guiado pela prática do amor, as sociedades do amanhã, que apresente para a experiência das pessoas negras, rotineiramente violada pelo racismo, outro jeito de estar no mundo, considerando o espírito, entendido por Sobonfu Somé como dimensão da existência que necessita do caráter coletivo das relações, como pilar incontornável. (shrink)

Contrary to what is commonly held, negligence (namely, conscious negligence) and willfulness (namely, recklessness) are not distinguished on the basis of the volitional element but on the basis of the cognitive element, since negligence implies ignorance-mistake, being the volitional element common to both figures. On the other hand, if, in negligence, the representation of the typical fact is something that exists less than what objectively exists, in the attempt, on the contrary, it is something that exists more. Hence, attempt implies (...) assumption-mistake. In conclusion, whenever there is a mistake and criminal liability occurs, the “normal” cases of liability, those associated with the commission of a willful and consummate crime, are excluded. (shrink)

En este artículo realizamos una reconstrucción del Programa original de Hilbert antes del surgimiento de los teoremas limitativos de la tercera década del siglo pasado. Para tal reconstrucción empezaremos por mostrar lo que Torretti llama los primeros titubeos formales de Hilbert, es decir, la defensa por el método axiomático como enfoque fundamentante. Seguidamente, mostraremos como estos titubeos formales se establecen como un verdadero programa de investigación lógico-matemático y como dentro de dicho programa la inquietud por la decidibilidad de los problemas (...) matemáticos y en específico la decidibilidad de la Lógica de primer orden cobra peso. Luego pasamos a analizar como la inquietud por la decibilidad toma lugar dentro del pensamiento filosófico-matemático de Hilbert presentándose como uno de los grandes problemas a los cuales la metamatemática debe encontrar una solución, esto lo hacemos mostrando un contraste con autores, como John von Neumann y Roberto Torretti, quienes de alguna u otra manera no interpretan el problema de la decidibilidad de la Lógica de primer orden como un problema de peso dentro del programa original de Hilbert. Finalmente argumentamos que el resultado meta-teórico de Church puede entenderse como una refutación del optimismo intelectual que permea a todo el programa original de Hilbert. (shrink)

Esta coletânea reúne, organizados na forma de capítulos, sete artigos que exploraram uma ideia central: a de que, subjacente à Lógica de Hegel, há uma mathesis, isto é, uma estruturação matemática que organiza as ideias dessa Lógica, mathesis de que Hegel faz uso, de modo implícito, ao longo do texto da "Ciência da Lógica".

A relação entre os modos e a substância na filosofia de Espinosa é tida tradicionalmente como de inerência, de maneira semelhante, grosso modo, à relação entre os acidentes e as substâncias na filosofia aristotélica. Essa concepção de inerência foi contestada por Edwin Curley a partir de 1969. Esta monografia, no primeiro capítulo, procura defender que a relação entre os modos e a substância em Espinosa é de inerência, contra Curley, explicando em que consiste essa relação e diferenciando-a da concepção aristotélica (...) de inerência. No segundo capítulo, são apresentadas e respondidas objeções elaboradas por Pierre Bayle ainda no século XVIII contra a concepção de inerência dos modos na substância em Espinosa e que serviram como apoio para os ataques de Curley. (shrink)

In this text, I propose that there is an intellectual virtue not yet recognized in debates within the epistemology of virtues: intellectual rituality. To elucidate this, I expose the relevance of rituality as a moral virtue within the virtue ethics of the Confucian tradition, highlight the formulation of rituality in the work of the philosopher Xúnzǐ 荀子, analyze the meaning of moral rituality, briefly describe central elements of Sosa’s virtue epistemology, and finally, based on Sosa, Tsai, and Xúnzǐ, formulate the (...) concept of intellectual rituality and point out some of its advantages. (shrink)

In this paper, we look at applying the techniques from analyzing superintuitionistic logics to extensions of the cointuitionistic Priest-da Costa logic daC (introduced by Graham Priest as “da Costa logic”). The relationship between the superintuitionistic axioms- definable in daC- and extensions of Priest-da Costa logic (sdc-logics) is analyzed and applied to exploring the gap between the maximal si-logic SmL and classical logic in the class of sdc-logics. A sequence of strengthenings of Priest-da Costa logic is examined (...) and employed to pinpoint the maximal non-classical extension of both daC and Heyting-Brouwer logic HB . Finally, the relationship between daC and Logics of Formal Inconsistency is examined. (shrink)

Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.

[From SEP]: Contemporary virtue epistemology (hereafter ‘VE’) is a diverse collection of approaches to epistemology. At least two central tendencies are discernible among the approaches. First, they view epistemology as a normative discipline. Second, they view intellectual agents and communities as the primary focus of epistemic evaluation, with a focus on the intellectual virtues and vices embodied in and expressed by these agents and communities. This entry introduces many of the most important results of the contemporary VE research program. These (...) include novel attempts to resolve longstanding disputes, solve perennial problems, grapple with novel challenges, and expand epistemology’s horizons. In the process, it reveals the diversity within VE. Beyond sharing the two unifying commitments mentioned above, its practitioners diverge over the nature of intellectual virtues, which questions to ask, and which methods to use. It will be helpful to note some terminology before proceeding. First, we use ‘cognitive’, ‘epistemic’ and ‘intellectual’ synonymously. Second, we often use ‘normative’ broadly to include not only norms and rules, but also duties and values. Finally, ‘practitioners’ names contemporary virtue epistemologists. (shrink)

Este artigo apresenta a teoria supervalorativista da vagueza e discute a objecção, que frequentemente lhe é dirigida, segundo a qual essa teoria não consegue dar conta do fenómeno da vagueza de ordem superior.

This paper aims of is to present Richard Rorty’s Philosophy of Education, through his analysis of the education as being divided into two distinct processes: socialization and individualization. Thereafter, it is intended to show two critiques, of conservadorism and elitism, that are addressed to these processes. Finally, a redescription of the Rorty’s positions will be proposed, by assigning a reformist character to its apparent conservatism and a private character to the supposedly elitist individualization, in order to weaken the strength of (...) those critics. (shrink)

Em analogia com outras discriminações, como o racismo ou o sexismo, o especismo é concebido como uma forma de discriminação moral com base na espécie. Em grande medida, a discussão contemporânea sobre a importância moral dos animais surgiu e desenvolveu-se em torno da crítica e da defesa do especismo. Este artigo oferece uma visão da discussão filosófica contemporânea sobre o especismo. Após uma breve introdução, apresenta-se uma definição de especismo e caracterizam-se vários tipos de especismo, sendo o Antropocentrismo o mais (...) relevante. Depois, expõe-se um argumento proeminente contra o Antropocentrismo: o argumento dos casos marginais. Por fim, algumas posições antropocêntricas são criticamente discutidas. (shrink)

Desde os tempos mais remotos, busca-se por equilíbrio entre o delito e a punição. Este artigo estabelece uma relação entre o conceito de Justiça em Aristóteles e a proporcionalidade em matéria penal. Para melhor compreensão do tema, inicia-se o estudo pelos principais pontos da obra Ética a Nicômaco, especialmente o Livro V, que trata da Justiça. A partir de então, aborda-se o princípio da proporcionalidade e a forma pela qual os conceitos de Aristóteles influenciaram a concepção desse princípio. Ato contínuo, (...) investiga-se a realidade atual do sistema carcerário, sendo avaliadas as estatísticas produzidas pelos órgãos competentes. Por conseguinte, enfatiza-se o Estado de Coisas Inconstitucional para verificar a questão penitenciária à luz da decisão da Suprema Corte brasileira na ADPF n. 347/DF. Ao final, pondera-se acerca da forma pela qual se pune no Brasil para investigar se suas premissas respeitam ou não as balizas do conceito de Justiça aristotélico e o princípio da proporcionalidade. Para o desenvolvimento desta pesquisa, utilizou-se o método qualitativo, por meio da leitura de obras que obedecem ao eixo temático exposto nos objetivos e que permitem o fichamento do repertório selecionado. Além de ter sido analisada juriprudência, foram coletados dados do censo penitenciário. Finalmente, articulou-se o material consultado com as estatísticas do sistema prisional. Concluiu-se nesta pesquisa que o Poder Executivo é omisso e ineficiente para garantir os direitos dos encarcerados, não obstante todo o avanço normativo sobre o tema. Como se não bastasse, na prática forense brasileira a proporcionalidade não é mais que mera previsão abstrata. (shrink)

Este livro se propõe a ser uma introdução fácil e acessível, porém rigorosa e tecnicamente precisa, à lógica. Prioridade é dada à clareza e lucidez na explicação das definições e teoremas, bem como à aplicação prática da lógica na análise de argumentos. O livro foi concebido de forma a permitir sua utilização por qualquer pessoa interessada em aprender lógica, independentemente de sua área de atuação ou bagagem teórica prévia. Em especial, ele deve ser útil a estudantes e professores de filosofia, (...) computação e matemática. (shrink)

O objetivo deste artigo é analisar o conceito de yoga da Bhagavad-gītā. Cinco concepções de yoga encontradas no texto são descritas: yoga enquanto disciplina ou prática, yoga enquanto disciplina qualificada, yoga enquanto estado mental de equanimidade e renúncia, yoga enquanto estado de união e yoga enquanto poder místico. As relações existentes entre essas concepções são explicitadas e o que podemos chamar de a estrutura do yoga na Bhagavad-gītā é pormenorizada.

Ao mesmo tempo que o malogro da assim chamada teoria clássica dos conceitos - de acordo com a qual definições são a maneira apropriada de caracterizar conceitos - é um consenso, a filosofia metafísica da religião parece ainda lidar com o conceito de Deus de forma predominantemente definicional. Podemos então nos perguntar: Seria esse malogro suficiente para inviabilizar uma caracterização definicional do conceito de Deus? Meu propósito central neste artigo é responder essa pergunta. Adoto uma ênfase representacional. Em outras palavras, (...) desejo analisar até que ponto os problemas mais importantes levantados contra a teoria clássica dos conceitos afetam uma abordagem definicional-representacional do conceito de Deus. Como resultado desse esforço, mostro que as críticas à teoria clássica que ameaçam tal abordagem dependem da pluralidade característica ao contexto inter-religioso, que por si só cria outros problemas. (shrink)

Neste trabalho, é apresentada uma investigação do que poderia ser chamado de formalização lógica do processo de mudança de teorias devido a anomalias. Por anomalia entende-se um fato observado que faz parte do escopo explanatório de uma teoria, mas que vai de encontro à previsão da mesma. Uma abordagem clássica para restaurar o poder explicativo de uma teoria ameaçada por uma anomalia é a postulação de hipóteses novas e provisórias que, em conjunto com as demais hipóteses auxiliares originais, sejam capazes (...) de resolver a anomalia. Após chegar à algumas conclusões sobre a estrutura de tal processo, propomos um framework lógico multimodal e não-monotônico capaz de representar alguns aspectos-chave dessa faceta importante da dinâmica de teorias científicas. Devido à necessidade de acomodar hipóteses provisórias incompatíveis, esse framework incorpora uma forma fraca de paraconsistência. Como um estudo de caso, analisamos o comportamento anômalo do planeta Urano que ameaçou a mecânica celeste Newtoniana por mais de meio século e ensejou a descoberta do planeta Netuno. -/- In this work, an investigation of what could be called the logical formalization of the theory change process due to anomalies is presented. An anomaly is understood as an observed fact that is part of the explanatory scope of a theory, but that goes against its prediction. A classic approach to restoring the explanatory power of a theory threatened by an anomaly is to postulate new and provisional hypotheses that, together with the other original auxiliary hypotheses, are capable of resolving the anomaly. After reaching some conclusions about the structure of such a process, we propose a multimodal and non-monotonic logical framework capable of representing some key aspects of this important facet of the dynamics of scientific theories. Due to the need to accommodate incompatible provisional hypotheses, this framework incorporates a weak form of paraconsistency. As a case study, we analyze the anomalous behavior of the planet Uranus that threatened Newtonian celestial mechanics for more than half a century and prompted the discovery of the planet Neptune. (shrink)